#!/bin/tcsh
source "$0:h"/rv_set
#echo cat "$rv_inc/$1"  "$2" 
set resultFileName = "$1:r"
cat "$1" "$resultFileName" > $1.temp
mv "$1.temp" "$resultFileName"
\rm "$1"
